Formal Description Technique SDL for manufacturing systems

نویسندگان

  • R M Sousa
  • G D Putnik
چکیده

This paper addresses the formal specification and description of manufacturing systems. It is considered the use of SDL (Specification and Description Language), a standard FDT (Formal Description Technique), to model the behaviour, data and structure aspects of a manufacturing system. SDL was originally developed for telecommunication systems (protocol specification and data processing). The adequacy of FDTs, namely SDL, for the manufacturing systems domain is investigated by developing the SDL specification of part of a Distributed/Virtual Manufacturing System cell installation (D/V MS Project), and analysing it.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Translating OMT * to SDL , A Smooth Transition from Analysis to

This paper presents an automated transition from OMT* (a formal variant of OMT) towards SDL. This work is a partial result from a larger research eeort proposing an integrated methodology and toolset based on the combination of Object-Orientation and Formal-Description Techniques. In this project OMT is used as the systems requirements analysis technique while SDL (Speciication Description Lang...

متن کامل

SDL and Petri net performance analysis of communicating systems

The automated functional and performance analysis of communicating systems speciied with some Formal Description Technique has long been the goal of protocol engineers. In this paper we give a description of a Petri net enhanced with queued places which enables one to automatically translate an SDL speciication to a net for its direct functional and performance analysis. In particular, the new ...

متن کامل

Developing a Framework for Simulation, Veriication and Testing of Sdl Speciications ?

This paper describes a simulator for SDL, a formal description technique for distributed, concurrent, communicating systems. The simulator consists of three main components: the translator, the activator, and the process execution and interleaving mechanism. All components are written in a subset of Common Lisp, and their desired properties are proved in ACL2. The simulator is intended as a bas...

متن کامل

Translating Omt* to Sdl, Coupling Object-oriented Analysis and Design with Formal Description Techniques

This paper presents an automated transition from OMT* (a formal variant of OMT) towards SDL. This work is a partial result from a larger research eeort proposing an integrated methodology and toolset based on the combination of Object-Orientation and Formal-Description Techniques. In this project OMT is used as the systems requirements analysis technique and OMT* for for System Design, while SD...

متن کامل

Sdl* { an Annotated Speciication Language for Engineering Multimedia Communication Systems

The Speciication and Description Language (SDL) and Message Sequence Charts (MSC) are formal description techniques which gain more and more importance in the development and speciication of complex real-time systems, especially in the telecommunications area. SDL is used to describe the structure and the functional behaviour of a system while MSCs are used to describe its dynamic behaviour. No...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2006